2 402 202 книги
Поиск книг
Жанры
Книги
Категории и жанры
Лучшие книги
Библиотека
Помощь
Мобильная версия
Контакты
Как помочь?
libcats.org
Самая большая
электронная библиотека
рунета. Поиск книг и журналов
↓
Только точные совпадения
#1
Intuitionistic Logic, Model Theory and Forcing (Studies in Logic and the Foundations of Mathematics)
Melvin Fitting
Категория:
Образование
5.92 Mb
#2
Set Theory and the Continuum Problem (Oxford Logic Guides, Volume 34)
Raymond M. Smullyan
,
Melvin Fitting
2.47 Mb
#3
First-Order Logic and Automated Theorem Proving (Texts and Monographs in Computer Science)
Melvin Fitting
1.85 Mb
#4
Types, Tableaus, and Gödel’s God (Trends in Logic)
Melvin Fitting
11.17 Mb
#5
Intuitionistic logic, model theory and forcing
Melvin Fitting
Категория:
Mathematical logic
927 Kb
#6
Set theory and the continuum problem
Raymond M. Smullyan
,
Melvin Fitting
3.08 Mb
#7
Set theory and the continuum problem
Raymond M. Smullyan
,
Melvin Fitting
Категория:
M_Mathematics
,
MA_Algebra
,
MAml_Mathematical logic
2.42 Mb
#8
Intuitionistic logic, model theory and forcing
Melvin Fitting
1.80 Mb
#9
Intuitionistic logic model theory and forcing
Melvin Fitting
3.76 Mb
#10
First-order Logic and Automated Theorem Proving
Melvin Fitting
Категория:
Cs_Computer science
,
CsAi_AI
,
knowledge
1.80 Mb
#11
Fundamentals of generalized recursion theory
Melvin Chris Fitting
Категория:
Mathematical logic
1.71 Mb
#12
Fundamentals of generalized recursion theory
Melvin Chris Fitting
954 Kb